Software Engineering - PDFSEARCH.IO - Document Search Engine

Software Engineering
Results: 57508

#	Item
381	The Development of the AQ20 Learning System and Initial Experiments Guido Cervone Liviu Panait Ryszard Michalski* Machine Learning and Inference Laboratory, George Mason University, Fairfax, Add to Reading List Source URL: cervone.psu.edu Language: English - Date: 2015-11-18 09:12:46 Theoretical computer science Algorithms Formal methods Software engineering HindleyMilner type system Lambda calculus Type theory Mathematics
382	Uniqueness Typing Simplified Edsko de Vries1⋆ , Rinus Plasmeijer2 , and David M Abrahamson1 1 2 Trinity College Dublin, Ireland, {devriese,david}@cs.tcd.ie Add to Reading List Source URL: www.edsko.net Language: English - Date: 2016-08-23 03:13:56 Software engineering Computer programming Computing Type theory Data types Functional programming Subroutines Lambda calculus Subtyping Const Unification Type system
383	Call for Papers Programming for Separation of Concerns (6th edition) http://www.dmi.unict.it/~tramonta/PSC10/ Add to Reading List Source URL: www.dmi.unict.it Language: English - Date: 2009-05-19 13:09:00 Software development Aspect-oriented software development Software engineering Programming paradigms Edsger W. Dijkstra Object-oriented programming Separation of concerns Symposium on Applied Computing Aspect-oriented programming Code reuse Subject-oriented programming
384	GROSS SUBSTITUTABILITY : AN ALGORITHMIC SURVEY RENATO PAES LEME∗ Abstract. The concept of gross substitute valuations was introduced by Kelso and Crawford as a sufficient conditions for the existence of Walrasian equil Add to Reading List Source URL: www.renatoppl.com Language: English - Date: 2013-11-28 12:54:41 Auction theory Mathematics Submodular set function Competitive equilibrium Theoretical computer science Valuation Gross substitutes Software engineering Pure Combinatory logic
385	TECHNISCHE UNIVERSITÄT MÜNCHEN FAKULTÄT FÜR INFORMATIK Software & Systems Engineering Prof. Dr. Dr. h.c. Manfred Broy SPES 2020 Deliverable D1.2.C-2 Add to Reading List Source URL: spes2020.informatik.tu-muenchen.de Language: English - Date: 2012-03-07 09:24:08 Software engineering Computing Engineering Software design Systems engineering Ontology Software requirements Data modeling Domain engineering Domain-specific language Modeling language Domain-specific modeling
386	2013 IEEE 33rd International Conference on Distributed Computing Systems Towards an Eﬃcient Online Causal-Event-Pattern-Matching Framework Sukanta Pramanik Add to Reading List Source URL: cs.uwaterloo.ca Language: English - Date: 2014-03-03 13:51:30 Philosophy Metaphysics Software engineering Causality Philosophy of science Distributed algorithms Pattern matching Distributed computing Event monitoring Software design pattern Vector clock Determinism
387	Toward Internet of Everything: The Role of Ontologies Ram D. Sriram Chief, Software and Systems Division Information Technology Laboratory National Institute of Standards and Technology, Gaithersburg, MD 20899, USA URL: Add to Reading List Source URL: www.ncgia.buffalo.edu Language: English - Date: 2016-05-18 12:38:26 Technology Engineering Science and technology Emerging technologies Cyber-physical system Internet of things Ontology ASME MIT Engineering Systems Division National Institute of Standards and Technology Draft:Ram Duvuru Sriram
388	Using Collaborations to Encapsulate Features? An Explorative Study Martin Kuhlemann, Norbert Siegmund Sven Apel Add to Reading List Source URL: www.infosun.fim.uni-passau.de Language: English - Date: 2010-01-08 07:04:01 Software engineering Object-oriented programming Computer programming Software design patterns Factory Object-oriented design Design Patterns Delegation State pattern This Iterator Inheritance
389	using the logo These logos are available for digital use on light backgrounds: THE PRIMARY LOGO Add to Reading List Source URL: s3-eu-west-1.amazonaws.com Language: English - Date: 2016-07-30 03:03:05 Software engineering Computer programming Communication design Logos Programming language theory
390	Computing Fundamentals Salvatore Filippone 2012–2013 Add to Reading List Source URL: people.uniroma2.it Language: English - Date: 2014-09-23 08:12:56 Software engineering Computer programming Computing Procedural programming languages Conditional Boolean data type C For loop Statement Switch statement Logical connective Subroutine

UPDATE